Attached patch avoids "Bad L1 flags 80" for VMX domains. Thanks Ian for
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 24 Oct 2005 07:04:38 +0000 (08:04 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 24 Oct 2005 07:04:38 +0000 (08:04 +0100)
commit7ce0fde009344d9b18f47d722f998e0d6a110271
tree122ccd7f3a262c2134cd9303ce5bd9c5901ada39
parentfea77823212ce8b48b1897cb73dd0590896809eb
Attached patch avoids "Bad L1 flags 80" for VMX domains. Thanks Ian for
the suggestions.

Signed-off-by: Jun Nakajima <jun.nakajima@intel.com>
xen/arch/x86/shadow.c
xen/arch/x86/shadow32.c
xen/include/asm-x86/shadow.h